Issue1413.agda:15,3-18
Wrong hiding used for projection  Foo.foo
when checking that the clause foo Foo⊤ = ? has type Foo ⊤
